|
|
Hypotetické soudy, pravdivost a tvrditelnost
Punčochář, Vít ; Kolman, Vojtěch (vedoucí práce) ; Sedlár, Igor (oponent) ; Bílková, Marta (oponent)
Vít Punčochář Disertační práce na téma: Hypotetické soudy, pravdivost a tvrditelnost Abstrakt: Základním tématem této disertační práce je logika indikativních kondicionálních vět, tj. vět, které mají obvykle tvar Pokud A, tak B. V klasické logice jsou tyto věty analyzovány pomocí tzv. materiální implikace, avšak tato analýza je v mnoha ohledech problematická. Část této práce je věnována rozboru problémů, se kterými se musíme potýkat, když chceme modelovat indikativní kondicionální věty pomocí standardní sémantiky klasické logiky. Je přitom kladen důraz na zdánlivě paradoxní situaci, v níž se přitom ocitáme. Některé obecné principy klasické logiky (jako třeba ten, podle něhož můžeme z věty Platí A nebo B odvodit větu Pokud A neplatí, tak platí B) vypadají na první pohled zcela nezpochybnitelně, avšak přitom mají velmi kontroverzní důsledky. V práci jsou představeny jak pokusy o obhajobu klasické logiky, tak i pokusy o její revizi. Přístupy k logické analýze kondicionálních vět jsou v předkládané práci rozděleny na dva základní druhy: ontický a epistemický. Ontický přístup vymezuje všechny klíčové sémantické pojmy pomocí pojmu pravdivosti, která se v logice chápe jako vztah mezi větami daného jazyka a stavy světa. Oproti tomu epistemický přístup se neopírá o pojem pravdivosti, nýbrž o pojem tvrditelnosti....
|
|
|
NCMPL 2011 Abstracts
Cintula, Petr ; Ju, S. ; Víta, Martin
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
|
host ::
RSS.